Account for the fact that the border width is _outside_ the window. (Fixes
authorOwen Taylor <otaylor@redhat.com>
Thu, 31 May 2001 19:11:16 +0000 (19:11 +0000)
committerOwen Taylor <otaylor@src.gnome.org>
Thu, 31 May 2001 19:11:16 +0000 (19:11 +0000)
commitf7ce63ab5fe1b2dadac9493272c38f30244e0c22
tree8125f46c6b70ad554d177abc7a276e361416c480
parentb263249d7c824fe12e7db7d553a2e4e97bd5af5e
Account for the fact that the border width is _outside_ the window. (Fixes

Thu May 31 12:43:57 2001  Owen Taylor  <otaylor@redhat.com>

* gtk/gtkoptionmenu.c: Account for the fact that the border
width is _outside_ the window. (Fixes #54585, bug found
        by Bastien Nocera.)
ChangeLog
ChangeLog.pre-2-0
ChangeLog.pre-2-10
ChangeLog.pre-2-2
ChangeLog.pre-2-4
ChangeLog.pre-2-6
ChangeLog.pre-2-8
gtk/gtkoptionmenu.c